Search Results
Interactive Theorem Proving with Lean
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 1)
10 minute Lean tutorial : proving logical propositions
Automated Mathematical Proofs - Computerphile
Jason Rute | Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models
Lean Together 2021: LeanStep: a dataset and environment for (interactive) neural theorem proving
Infinitude of primes --- a Lean theorem prover demo
Lean Together 2021: Panel on teaching with proof assistants
Lean Together 2021: Generative Language Modeling for Automated Theorem Proving
Lean for the Curious Mathematician 2023 Kaiyu Yang, Theorem Proving via Machine Learning
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 2)
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
